Cardinal invariants for κ-box products: weight, density character and Souslin number
نویسندگان
چکیده
The symbol (XI)κ (with κ ≥ ω) denotes the space XI := Πi∈I Xi with the κ-box topology; this has as base all sets of the form U = Πi∈I Ui with Ui open in Xi and with |{i ∈ I : Ui 6= Xi}| < κ. The symbols w, d and S denote respectively weight, density character, and Souslin number. Generalizing familiar, classical results, the authors show inter alia: Theorem 3.10(b). If κ ≤ α+, |I| = α and each Xi contains the discrete space {0, 1} and satisfies w(Xi) ≤ α, then w(Xκ) = α<κ. Theorem 4.17. If ω ≤ κ ≤ |I| ≤ 2α and X = (D(α))I with D(α) discrete, |D(α)| = α, then d((XI)κ) = α<κ. Corollaries 5.35(a) and 5.36. Let α ≥ 3 and κ ≥ ω be cardinals, and let {Xi : i ∈ I} be a set of spaces such that |I|+ ≥ κ. (a) If α+ ≥ κ and α ≤ S(Xi) ≤ α+ for each i ∈ I then α<κ ≤ S((XI)κ) ≤ (2α)+; and (b) if α+ ≤ κ and 3 ≤ S(Xi) ≤ α+ for each i ∈ I then S((XI)κ) = (2<κ)+. 2010 Mathematics Subject Classification: Primary 54A25; 54A10; Secondary 54A35; 54D65.
منابع مشابه
Cardinal invariants for κ-box products
The symbol (XI)κ (with κ ≥ ω) denotes the space XI := Πi∈I Xi with the κ-box topology; this has as base all sets of the form U = Πi∈I Ui with Ui open in Xi and with |{i ∈ I : Ui 6= Xi}| < κ. The symbols w, d and S denote respectively weight, density character, and Souslin number. Generalizing familiar results for the usual product space (the case κ = ω), the authors show inter alia: Theorem 3.1...
متن کاملHomogeneously Souslin sets in small inner models
We prove that every homogeneously Souslin set is coanalytic provided that either (a) 0long does not exist, or else (b) V = K, where K is the core model below a μ-measurable cardinal. 1 Homogeneously Souslin sets. In this paper we shall deal with homogeneously Souslin sets of reals, or rather with sets of reals which admit an ω-closed embedding normal form. Definition 1.1 (Cf. [4, p. 92].) Let A...
متن کاملOn incomparability and related cardinal functions on ultraproducts of Boolean algebras
Let C denote any of the following cardinal characteristics of Boolean algebras: incomparability, spread, character, π-character, hereditary Lindelöf number, hereditary density. It is shown to be consistent that there exists a sequence 〈Bi : i < κ〉 of Boolean algebras and an ultrafilter D on κ such that
متن کاملMathematical Logic
We prove that every homogeneously Souslin set is coanalytic provided that either (a) 0long does not exist, or else (b) V = K , where K is the core model below a μ-measurable cardinal. 1. Homogeneously Souslin sets In this paper we shall deal with homogeneously Souslin sets of reals, or rather with sets of reals which admit an ω-closed embedding normal form. Definition 1.1. (Cf. [4, p. 92].) Let...
متن کاملThe Eightfold Way
Three central combinatorial properties in set theory are the tree property, the approachability property and stationary reflection. We prove the mutual independence of these properties by showing that any of their eight Boolean combinations can be forced to hold at κ, assuming that κ = κ and there is a weakly compact cardinal above κ. If in addition κ is supercompact then we can force κ to be א...
متن کامل